14 research outputs found
Raisonnement avec des croyances partiellement ordonnées
Dans le cadre de cette thĂšse, nous prĂ©sentons lâextension des rĂ©sultats sur le raisonnement avec des bases de croyances totalement ordonnĂ©es au cas partiellement ordonnĂ©. LâidĂ©e est de raisonner avec des bases logiques Ă©quipĂ©es dâun ordre partiel exprimant la certitude relative et de construire une fermeture dĂ©ductive partiellement ordonnĂ©e. Au niveau syntaxique, nous pouvons soit utiliser un langage exprimant des paires de formules et des axiomes dĂ©crivant les propriĂ©tĂ©s de lâordre, ou utiliser des formules en relation avec des poids symboliques partiellement ordonnĂ©s dans lâesprit de la logique possibiliste. Une sĂ©mantique possible consiste Ă supposer que cet ordre provient dâun ordre partiel sur les modĂšles. Elle exige la capacitĂ© dâinduire un ordre partiel sur les sous-ensembles dâun ensemble, Ă partir dâun ordre partiel sur ses Ă©lĂ©ments. Parmi plusieurs dĂ©finitions de relations dâordre partiel ainsi dĂ©finies, nous sĂ©lectionnons la plus pertinente pour reprĂ©senter la notion de certitude relative, en accord avec la thĂ©orie des possibilitĂ©s. Nous montrons les limites dâune sĂ©mantique basĂ©e sur un ordre partiel unique sur les modĂšles et proposons une sĂ©mantique plus gĂ©nĂ©rale qui utilise une relation dâordre partiel entre les ensembles de modĂšles. Nous utilisons un langage de plus haut niveau qui exprime des conjonctions de paires de formules en relation, avec des axiomes qui dĂ©crivent les propriĂ©tĂ©s de la relation. Nous proposons deux approches syntaxiques pour infĂ©rer de nouvelles paires de formules Ă partir dâune base partiellement ordonnĂ©e, et complĂ©ter ainsi lâordre sur le langage propositionnel. Lâune des infĂ©rences est proche des logiques conditionnelles de Lewis (qui traite le cas totalement ordonnĂ©) et dâun travail de Halpern. Elle est Ă©galement proche du SystĂšme P. Nous reprenons la logique possibiliste symbolique proposĂ©e par Benferhat et Prade et comparons cette approche avec lâapproche par certitude relative. Pour cela nous poursuivons lâĂ©tude de la logique possibiliste symbolique en dĂ©montrant un rĂ©sultat de complĂ©tude. Nous Ă©tudions la question de la traduction dâune base partiellement ordonnĂ©e en base possibiliste symbolique et inversement. Nous proposons enfin des pistes pour une implĂ©mentation du systĂšme dâinfĂ©rence de certitude relative et du systĂšme possibiliste symbolique
Symbolic Possibilistic Logic: Completeness and Inference Methods
International audienceThis paper studies the extension of possibilistic logic to the case when weights attached to formulas are symbolic and stand for variables that lie in a totally ordered scale, and only partial knowledge is available on the relative strength of these weights. A proof of the soundness and the completeness of this logic according to the relative certainty semantics in the sense of necessity measures is provided. Based on this result, two syntactic inference methods are presented. The first one calculates the necessity degree of a possibilistic formula using the notion of minimal inconsistent sub-base. A second method is proposed that takes inspiration from the concept of ATMS. Notions introduced in that area, such as nogoods and labels, are used to calculate the necessity degree of a possibilistic formula. A comparison of the two methods is provided, as well as a comparison with the original version of symbolic possibilistic logic
A Possibilistic Logic Approach to Conditional Preference Queries
International audienceThe paper presents a new approach to deal with database preference queries, where preferences are represented in the style of possibilistic logic, using symbolic weights. The symbolic weights may be processed without the need of a numerical assignment of priority. Still, it is possible to introduce a partial ordering among the symbolic weights if necessary. On this basis, four methods that have an increasing discriminating power for ranking the answers to conjunctive queries, are proposed. The approach is compared to different lines of research in preference queries including skyline-based methods and fuzzy set-based queries. With the four proposed ranking methods the first group of best answers is made of non dominated items. The purely qualitative nature of the approach avoids the commensurability requirement of elementary evaluations underlying the fuzzy logic methods
On the Semantics of Partially Ordered Bases
International audienceThis paper presents first results toward the extension of possibilistic logic when the total order on formulas is replaced by a partial preorder. Few works have dealt with this matter in the past but they include some by Halpern, and Benferhat et al. Here we focus on semantic aspects, namely the construction of a partial order on interpretations from a partial order on formulas and conversely. It requires the capability of inducing a partial order on subsets of a set from a partial order on its elements. The difficult point lies in the fact that equivalent definitions in the totally ordered case are no longer equivalent in the partially ordered one. We give arguments for selecting one approach extending comparative possibility and its preadditive refinement, pursuing some previous works by Halpern. It comes close to non-monotonic inference relations in the style of Kraus Lehmann and Magidor. We define an intuitively appealing notion of closure of a partially ordered belief base from a semantic standpoint, and show its limitations in terms of expressiveness, due to the fact that a partial ordering on subsets of a set cannot be expressed by means of a single partial order on the sets of elements. We also discuss several existing languages and syntactic inference techniques devised for reasoning from partially ordered belief bases in the light of this difficulty. The long term purpose is to find a proof method adapted to partially ordered formulas, liable of capturing a suitable notion of semantic closure
La logique possibiliste avec poids symboliques : une preuve de complétude
International audienceOn considĂšre une variante de la logique possibiliste, dĂ©jĂ proposĂ©e par Benferhat et coll., oĂč les poids attachĂ©s aux formules sont remplacĂ©s par des variables symboliques Ă valeur sur une Ă©chelle totalement ordonnĂ©e. On suppose quâon ne dispose que de contraintes de domination stricte entre ces poids inconnus. Dans ce cas, on peut Ă©tendre la sĂ©mantique et lâaxiomatisation de la logique possibiliste, mais sa complĂ©tude nĂ©cessite une nouvelle preuve qui est dĂ©crite ici. La mise en oeuvre de cette logique peut exploiter des techniques de recherche de sousbases maximales consistantes et de raisonnement abductif
Erratum to: Database preference queries - a possibilistic logic approach with symbolic priorities.
International audienceThis note corrects a claim made in the above-mentioned paper about the exact representation of a conditional preference network by means of a possibilistic logic base with partially ordered symbolic weights. We provide a counter-example that shows that the possibilistic logic representation is indeed not always exact. This is the basis of a short discussion on the difficulty of obtaining an exact representation
Possibilistic reasoning with partially ordered beliefs
International audienceThis paper presents the extension of results on reasoning with totally ordered belief bases to the partially ordered case. The idea is to reason from logical bases equipped with a partial order expressing relative certainty and to construct a partially ordered deductive closure. The difficult point lies in the fact that equivalent definitions in the totally ordered case are no longer equivalent in the partially ordered one. At the syntactic level we can either use a language expressing pairs of related formulas and axioms describing the properties of the ordering, or use formulas with partially ordered symbolic weights attached to them in the spirit of possibilistic logic. A possible semantics consists in assuming the partial order on formulas stems from a partial order on interpretations. It requires the capability of inducing a partial order on subsets of a set from a partial order on its elements so as to extend possibility theory functions. Among different possible definitions of induced partial order relations, we select the one generalizing necessity orderings (closely related to epistemic entrenchments). We study such a semantic approach inspired from possibilistic logic, and show its limitations when relying on a unique partial order on interpretations. We propose a more general sound and complete approach to relative certainty, inspired by conditional modal logics, in order to get a partial order on the whole propositional language. Some links between several inference systems, namely conditional logic, modal epistemic logic and non-monotonic preferential inference are established. Possibilistic logic with partially ordered symbolic weights is also revisited and a comparison with the relative certainty approach is made via mutual translations
Reasoning with partially ordered belief bases
Dans le cadre de cette thĂšse, nous prĂ©sentons lâextension des rĂ©sultats sur le raisonnement avec des bases de croyances totalement ordonnĂ©es au cas partiellement ordonnĂ©. LâidĂ©e est de raisonner avec des bases logiques Ă©quipĂ©es dâun ordre partiel exprimant la certitude relative et de construire une fermeture dĂ©ductive partiellement ordonnĂ©e. Au niveau syntaxique, nous pouvons soit utiliser un langage exprimant des paires de formules et des axiomes dĂ©crivant les propriĂ©tĂ©s de lâordre, ou utiliser des formules en relation avec des poids symboliques partiellement ordonnĂ©s dans lâesprit de la logique possibiliste. Une sĂ©mantique possible consiste Ă supposer que cet ordre provient dâun ordre partiel sur les modĂšles. Elle exige la capacitĂ© dâinduire un ordre partiel sur les sous-ensembles dâun ensemble, Ă partir dâun ordre partiel sur ses Ă©lĂ©ments. Parmi plusieurs dĂ©finitions de relations dâordre partiel ainsi dĂ©finies, nous sĂ©lectionnons la plus pertinente pour reprĂ©senter la notion de certitude relative, en accord avec la thĂ©orie des possibilitĂ©s. Nous montrons les limites dâune sĂ©mantique basĂ©e sur un ordre partiel unique sur les modĂšles et proposons une sĂ©mantique plus gĂ©nĂ©rale qui utilise une relation dâordre partiel entre les ensembles de modĂšles. Nous utilisons un langage de plus haut niveau qui exprime des conjonctions de paires de formules en relation, avec des axiomes qui dĂ©crivent les propriĂ©tĂ©s de la relation. Nous proposons deux approches syntaxiques pour infĂ©rer de nouvelles paires de formules Ă partir dâune base partiellement ordonnĂ©e, et complĂ©ter ainsi lâordre sur le langage propositionnel. Lâune des infĂ©rences est proche des logiques conditionnelles de Lewis (qui traite le cas totalement ordonnĂ©) et dâun travail de Halpern. Elle est Ă©galement proche du SystĂšme P. Nous reprenons la logique possibiliste symbolique proposĂ©e par Benferhat et Prade et comparons cette approche avec lâapproche par certitude relative. Pour cela nous poursuivons lâĂ©tude de la logique possibiliste symbolique en dĂ©montrant un rĂ©sultat de complĂ©tude. Nous Ă©tudions la question de la traduction dâune base partiellement ordonnĂ©e en base possibiliste symbolique et inversement. Nous proposons enfin des pistes pour une implĂ©mentation du systĂšme dâinfĂ©rence de certitude relative et du systĂšme possibiliste symbolique.In this thesis, we present results on the extension of the existing methods for reasoning with totally ordered belief bases to the partially ordered case. The idea is to reason from logical bases equipped with a partial order expressing relative certainty and to construct a partially ordered deductive closure. The difficult part lies in the fact that equivalent definitions in the totally ordered case are no longer equivalent in the partially ordered case. At the syntactic level we can either use a language expressing pairs of related formulas and axioms describing the properties of the ordering, or use formulas with partially ordered symbolic weights attached to them in the spirit of possibilistic logic. A possible semantics consists in assuming that the partial order on formulas stems from a partial order on interpretations. It requires the capability of inducing a partial order on subsets of a set from a partial order on its elements so as to extend possibility theory functions. Among different possible definitions of induced partial order relations, we select the one generalizing necessity orderings (closely related to epistemic entrenchments). We study such a semantic approach inspired from possibilistic logic, and show its limitations when relying on a unique partial order on interpretations. We propose a more general sound and complete approach to relative certainty, inspired by conditional modal logics, in order to get a partial order on the whole propositional language. Some links between our approach and several inference systems, namely conditional logic, modal epistemic logic and non-monotonic preferential inference are established. Possibilistic logic with partially ordered symbolic weights proposed by Benferhat and Prade is also revisited and we continue the study by proving a completeness result. A comparison with the relative certainty approach is made via mutual translations. We compare this approach with the relative certainty approach.We study the question of the translation of a partially ordered base into a symbolic possibilistic base and vice versa. The results for this translation highlight different assumptions underlying the two logics. We also offer steps toward implementation tools for the inference of relative certainty and for the symbolic possibilistic system
Fermeture déductive d'une base partiellement ordonnée
Dans ce rapport, nous prĂ©sentons des rĂ©sultats pour lâextension de la logique possibiliste dans un cadre partiellement ordonnĂ©. Le point difficile rĂ©side dans le fait que les dĂ©finitions de lâinfĂ©rence Ă©quivalentes dans le cas totalement ordonnĂ©, Ă savoir:âąLâinfĂ©rence sĂ©mantique Ă partir dâune relation dâordre sur les modĂšles construite Ă partir de la base totalement ordonnĂ©eâąLâinfĂ©rence classique Ă partir des coupes de niveaux de la base totalement ordonnĂ©e ne sont plus Ă©quivalentes dans le cas partiellement ordonnĂ©.Nous considĂ©rons des bases propositionnelles munies dâune relation dâordre partiel, exprimant la certitude relative. Une sĂ©mantique possible consiste Ă supposer que cet ordre provient dâun ordre partiel sur les modĂšles. Elle exige la capacitĂ© dâinduire un ordre partiel sur les sous-ensembles dâun ensemble, Ă partir dâun ordre partiel sur ses Ă©lĂ©ments. Parmi plusieurs dĂ©finitions de relations dâordre partiel ainsi dĂ©finies, nous sĂ©lectionnons la plus pertinente pour reprĂ©senter la notion de certitude relative, en accord avec la thĂ©orie des possibilitĂ©s. Nous montrons les limites dâune sĂ©mantique basĂ©e sur un ordre partiel unique sur les modĂšles et proposons une sĂ©mantique plus gĂ©nĂ©rale qui utilise une relation dâordre partiel entre les ensembles de modĂšles. Nous utilisons un langage de plus haut niveau qui exprime des conjonctions de paires de formules en relation, avec des axiomes qui dĂ©crivent les propriĂ©tĂ©s de la relation. Ces propriĂ©tĂ©s Ă©tendent celles des relations de nĂ©cessitĂ© de la thĂ©orie des possibilitĂ©s. Nous proposons deux approches syntaxiques pour infĂ©rer de nouvelles paires de formules Ă partir dâune base partiellement ordonnĂ©e, et complĂ©ter ainsi lâordre sur le langage propositionnel. Lâune des infĂ©rences est proche des logiques conditionnelles de Lewis (qui traite le cas totalement ordonnĂ©) et dâun travail de Halpern en 1997. Elle est Ă©galement proche du SystĂšme P de Lehmann et collĂšgues.Nous comparons cette approche avec la logique possibiliste Ă poids symboliques partiellement ordonnĂ©s proposĂ©e par Benferhat et Prade en 2005. Pour cela nous poursuivons lâĂ©tude de cette derniĂšre en dĂ©montrant un rĂ©sultat de complĂ©tude. On Ă©tudie la question de la traduction dâune base partiellement ordonnĂ©e en base possibiliste Ă poids symboliques et inversement. Les rĂ©sultats relatifs Ă cette traduction mettent en Ă©vidence les hypothĂšses diffĂ©rentes sous-tendant les deux logiques. Lâapproche par formules partiellement ordonnĂ©es prĂ©serve lâordre partiel de la base dans lâordre partiel sur le langage obtenu par infĂ©rence, tandis que les poids attachĂ©s aux formules en logique possibiliste ne sont que des bornes infĂ©rieures des niveaux de certitude obtenus dans la fermeture dĂ©ductive de la base. Par ailleurs, la logique possibiliste Ă poids symboliques sâappuie sur un principe de moindre engagement qui permet de traiter des incohĂ©rence partielles, principe qui nâest pas pris en compte dans lâapproche de type logique conditionnelle, laquelle est plusprudente, et sensible aux incohĂ©rences dues Ă lâordre initial sur les formules